Stereotypical Reasoning: Logical Properties
نویسنده
چکیده
Stereotypical reasoning assumes that the situation at hand is one of a kind and that it enjoys the properties generally associated with that kind of situation. It is one of the most basic forms of nonmonotonic reasoning. A formal model for stereotypical reasoning is proposed and the logical properties of this form of reasoning are studied. Stereotypical reasoning is shown to be cumulative under weak assumptions.
منابع مشابه
A Note on Cumulative Stereotypical Reasoning
We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a notion of semantic distance. While still leading to cumulative reasoning, our notion of distance does, unlike Lehmann’s, allow reasoning under inconsistent information.
متن کاملSmarter than we think: when our brains detect that we are biased.
Human reasoning is often biased by stereotypical intuitions. The nature of such bias is not clear. Some authors claim that people are mere heuristic thinkers and are not aware that cued stereotypes might be inappropriate. Other authors claim that people always detect the conflict between their stereotypical thinking and normative reasoning, but simply fail to inhibit stereotypical thinking. Hen...
متن کاملReasoning about Access Control in Windows Nt
In this paper, we study a logical methodology for access control in a real-world application, namely Windows NT (NT). In particular, we extend existing logical specifications for access control in order to deal with distributed access control in NT. Then, we propose practical verification properties for analyzing access control configurations in NT. The results obtained show that our logical me...
متن کاملA Logical Theory of Static Reasoning for Rational Agents
A formal language to describe mental states of rational agents is useful to specify the behavior of artiicial agents that are supposed to act intelligently and to help human beings in evaluating their reasoning about the external environment. This paper presents a multi-agent, propositional, temporal logic to describe the mental state of rational agents. The formal properties of beliefs and int...
متن کاملLogical Varieties in Normative Reasoning
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for any logical calculus is its consistency. At the same time, knowledge about large object domains (in science or in practice) is essentially inconsistent. Logica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logic Journal of the IGPL
دوره 6 شماره
صفحات -
تاریخ انتشار 1998